Feeds to Scour
SubscribedAll
Scoured 19470 posts in 161.7 ms
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·20h
🤝Consensus Protocols
Hello Edge: Keyword Spotting on Microcontrollers
dev.to·15h·
Discuss: DEV
🔢Bitwise Algorithms
I Built a 6 BIPS JIT in Five Months
unlikelyemphasis.substack.com·1d·
Discuss: Substack
⚙️RISC-V Microcode
Cascading Robustness Verification: Toward Efficient Model-Agnostic Certification
arxiv.org·2d
🔧Hardware Verification
Build a Compiler in Five Projects
kmicinski.com·1h
🔨Compilers
Everyone Says AI Is Insecure, So I Measured It
hackernoon.com·1h
🔓Hacking
Differential Logic • 1
inquiryintoinquiry.com·1d
📏Linear Logic
Info - Intel ARC Alchemist owners thread. Now 75 games tested, retested, and counting. Includes productivity experiences. Feel free to add your results.
forums.anandtech.com·14h
🎯Emulation Accuracy
FOSDEM 2026
hack.org·12h
🔓Open Source Software
Building a Synthesizer, Chapter 14: Building the Sequencer
craigstuntz.com·2d
⚙️DIY Electronics
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d
🦀Rust Verification
On The Crank Spectrum
exple.tive.org·11h
🖥️Terminal Renaissance
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
🦀Rust Verification
LLM Inference Benchmarking - Measure What Matters
digitalocean.com·21h
📊Performance Profiling
FreeBSD audio diagnostics and optimization
discoverbsd.com·1d
🔌Operating system internals
Testing can be fun, actually
giacomocavalieri.me·20h·
Discuss: Hacker News
🧪Binary Fuzzing
AMD Introduces Kintex UltraScale+ Gen 2 Mid-Range FPGAs Targeting High-Bandwidth, Deterministic Edge Systems
storagereview.com·2d
🖥️Modern Terminals
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🎯Performance Proofs
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Protecting Triton kernel deployments with cryptographic signatures
next.redhat.com·1d
⚙️Operating System Design

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help